0<=54@>18;:0